Definition

The (unilateral) Laplace transform \mathcal{L} is defined by

[f(t)](s)0f(t)estdt\mathcal{L}[f(t)](s) \equiv \int_0^\infty f(t) e^{-st} dt

The inverse of the Laplace transform, i.e. the Bromwich integral, is given by

F(t)=12πiγiγ+iestf(s)dsF(t) = \frac{1}{2\pi i} \int_{\gamma - i \infty}^{\gamma + i \infty} e^{st} f(s) ds

Table

#incomplete

linear time-invariant continuous-time system

theorem, fundamental property of fixed linear analog systems#Theorem

Output, y(t)=S{u(t)}=12πicic+iU(s)S{est}ds=12πicic+iU(s)H(s)dsy(t) = S\{u(t)\} = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} U(s) S\{e^{st}\} ds = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} U(s) H(s) ds

Y(s)=H(s)U(s)Y(s) = H(s) U(s)

(note: some engineering notations use jj instead of ii for the imaginary unit)

Differentiation theorem of \mathcal{L} transforms

{𝐱˙(t)}=s𝐗(s)𝐱(0)\mathcal{L}\{\dot{\mathbf{x}}(t)\} = s \mathbf{X}(s) - \mathbf{x}(0)

Convolution theorem of \mathcal{L} transforms

If y(t)=0x1(tτ)x2(τ)dτy(t) = \int_0^\infty x_1 (t - \tau) x_2 (\tau) d\tau, then,

Y(s)=X1(s)X2(s)Y(s) = X_1(s) X_2(s)

transformation of time-invariant system

𝐗(s)=[sIA]1𝐱(0)+[sIA]1B𝐔(s)𝐘(s)=C[sIA]1𝐱(0)+[C[sIA]1B+D]𝐔(s) \begin{aligned} \mathbf{X}(s) &= [sI - A]^{-1} \mathbf{x}(0) + [sI-A]^{-1}B \mathbf{U}(s) \\ \mathbf{Y}(s) &= C[sI - A]^{-1} \mathbf{x}(0) + [C[sI-A]^{-1}B + D] \mathbf{U}(s) \end{aligned}

then, for the transition matrix,

{ϕ(t)}[sIA]1\mathcal{L}\{\phi(t)\} [sI - A]^{-1}

and transfer function matrix,

H(s)={H(t)}=[C[sIA]1B+D]H(s) = \mathcal{L}\{H(t)\} = [C[sI-A]^{-1}B + D]

See also

References

  1. https://mathworld.wolfram.com/LaplaceTransform.html
  2. https://mathworld.wolfram.com/BromwichIntegral.html
  3. https://crrl.poly.edu/6253/lectures/lect7.pdf